Modeling Biological Systems in Stochastic Concurrent Constraint Programming
نویسندگان
چکیده
منابع مشابه
Modeling biological systems in hybrid concurrent constraint programming
Constraint programming is a new programming language paradigm that appeared in the late 80’s and became more and more popular during the 90’s [5]. In a constraint program, the user specifies a number of constraints. Each constraint defines a relation between the variables that describe the state of the system under investigation. The constraint programming tool provides constraint solving algor...
متن کاملStochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give an operational semantic that can be provided either with a discrete or a continuous model of time. The notion of observables is discussed, both for the discrete and the continuous version, and a connection between the t...
متن کاملTimed Concurrent Constraint Programming for Analysing Biological Systems
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a uni ed framework for the analysis of biological systems, as they can be described, simulated and veri ed using th...
متن کاملUsing Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
To cite this version: Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. [Interne] A02-R-026 —— bockmayr02a, 2002, 15 p. HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching an...
متن کاملStochastic Concurrent Constraint Programming and Differential Equations
We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set of Ordinary Differential Equations (ODE), and also the inverse procedure translating ODE’s into sC...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2008
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-007-9034-8